A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Midwall Fibrosis Is an Independent Predictor of Mortality in Patients With Aortic Stenosis

ObjectivesThe goal of this study was to assess the prognostic significance of midwall and infarct patterns of late gadolinium enhancement (LGE) in aortic stenosis.BackgroundMyocardial fibrosis occurs in aortic stenosis as part of the hypertrophic response. It can be detected by LGE, which is associated with an adverse prognosis in a range of other cardiac conditions.MethodsBetween January 2003 and October 2008, consecutive patients with moderate or severe aortic stenosis undergoing cardiovascular magnetic resonance with administration of gadolinium contrast were enrolled into a registry. Patients were categorized into absent, midwall, or infarct patterns of LGE by blinded independent observers. Patient follow-up was completed using patient questionnaires, source record data, and the National Strategic Tracing Service.ResultsA total of 143 patients (age 68 ± 14 years; 97 male) were followed up for 2.0 ± 1.4 years. Seventy-two underwent aortic valve replacement, and 27 died (24 cardiac, 3 sudden cardiac deaths). Compared with those with no LGE (n = 49), univariate analysis revealed that patients with midwall fibrosis (n = 54) had an 8-fold increase in all-cause mortality despite similar aortic stenosis severity and coronary artery disease burden. Patients with an infarct pattern (n = 40) had a 6-fold increase. Midwall fibrosis (hazard ratio: 5.35; 95% confidence interval: 1.16 to 24.56; p = 0.03) and ejection fraction (hazard ratio: 0.96; 95% confidence interval: 0.94 to 0.99; p = 0.01) were independent predictors of all-cause mortality by multivariate analysis.ConclusionsMidwall fibrosis was an independent predictor of mortality in patients with moderate and severe aortic stenosis. It has incremental prognostic value to ejection fraction and may provide a useful method of risk stratification. (The Prognostic Significance of Fibrosis Detection in Cardiomyopathy; NCT00930735

Specific induction of pp125 focal adhesion kinase in human breast cancer

The pp125 focal adhesion kinase (FAK) is involved in integrin-mediated cell signalling and overexpressed in a variety of solid tumours. Focal adhesion kinase expression has been correlated to invasion and metastasis, but the data on breast cancer are inconclusive. We analysed FAK mRNA, protein levels and expression patterns in primary breast cancer and normal breast tissue. FAK expression on the functional protein level and mRNA was determined in 55 matched pairs of breast cancer and corresponding normal tissue by Western blot, immunohistochemistry and RT–PCR. Using a score ranging from 0 to +5 for Western blots, we determined in normal breast tissue a score of 1.51±0.84 (mean±standard deviation), which was strongly induced to 2.91 (±1.22) in breast cancers (P<0.001). Overall, 45 out of 55 tissue pairs (81.8%) showed this upregulation of FAK protein in tumours in comparison to normal tissue. Immunohistochemistry confirmed these findings with a significant higher score for tumours vs physiological tissue (1.0±0.63 vs 2.27±0.91; P=0.001). Interestingly, no overall significant difference in the mRNA levels (P=0.359) was observed. In conclusion, expression levels of the FAK protein are specifically upregulated in breast cancer in comparison to matched normal breast tissue supporting its pivotal role in neoplastic signal transduction and representing a potential marker for malignant transformation

Emerging Technologies for the Detection of Rabies Virus: Challenges and Hopes in the 21st Century

The diagnosis of rabies is routinely based on clinical and epidemiological information, especially when exposures are reported in rabies-endemic countries. Diagnostic tests using conventional assays that appear to be negative, even when undertaken late in the disease and despite the clinical diagnosis, have a tendency, at times, to be unreliable. These tests are rarely optimal and entirely dependent on the nature and quality of the sample supplied. In the course of the past three decades, the application of molecular biology has aided in the development of tests that result in a more rapid detection of rabies virus. These tests enable viral strain identification from clinical specimens. Currently, there are a number of molecular tests that can be used to complement conventional tests in rabies diagnosis. Indeed the challenges in the 21st century for the development of rabies diagnostics are not of a technical nature; these tests are available now. The challenges in the 21st century for diagnostic test developers are two-fold: firstly, to achieve internationally accepted validation of a test that will then lead to its acceptance by organisations globally. Secondly, the areas of the world where such tests are needed are mainly in developing regions where financial and logistical barriers prevent their implementation. Although developing countries with a poor healthcare infrastructure recognise that molecular-based diagnostic assays will be unaffordable for routine use, the cost/benefit ratio should still be measured. Adoption of rapid and affordable rabies diagnostic tests for use in developing countries highlights the importance of sharing and transferring technology through laboratory twinning between the developed and the developing countries. Importantly for developing countries, the benefit of molecular methods as tools is the capability for a differential diagnosis of human diseases that present with similar clinical symptoms. Antemortem testing for human rabies is now possible using molecular techniques. These barriers are not insurmountable and it is our expectation that if such tests are accepted and implemented where they are most needed, they will provide substantial improvements for rabies diagnosis and surveillance. The advent of molecular biology and new technological initiatives that combine advances in biology with other disciplines will support the development of techniques capable of high throughput testing with a low turnaround time for rabies diagnosis

Light-Induced Responses of Slow Oscillatory Neurons of the Rat Olivary Pretectal Nucleus

Background: The olivary pretectal nucleus (OPN) is a small midbrain structure responsible for pupil constriction in response to eye illumination. Previous electrophysiological studies have shown that OPN neurons code light intensity levels and therefore are called luminance detectors. Recently, we described an additional population of OPN neurons, characterized by a slow rhythmic pattern of action potentials in light-on conditions. Rhythmic patterns generated by these cells last for a period of approximately 2 minutes. Methodology: To answer whether oscillatory OPN cells are light responsive and whether oscillatory activity depends on retinal afferents, we performed in vivo electrophysiology experiments on urethane anaesthetized Wistar rats. Extracellular recordings were combined with changes in light conditions (light-dark-light transitions), brief light stimulations of the contralateral eye (diverse illuminances) or intraocular injections of tetrodotoxin (TTX). Conclusions: We found that oscillatory neurons were able to fire rhythmically in darkness and were responsive to eye illumination in a manner resembling that of luminance detectors. Their firing rate increased together with the strength of the light stimulation. In addition, during the train of light pulses, we observed two profiles of responses: oscillationpreserving and oscillation-disrupting, which occurred during low- and high-illuminance stimuli presentation respectively. Moreover, we have shown that contralateral retina inactivation eliminated oscillation and significantly reduced the firin

Effect of SGLT2 inhibitors on stroke and atrial fibrillation in diabetic kidney disease: Results from the CREDENCE trial and meta-analysis

BACKGROUND AND PURPOSE: Chronic kidney disease with reduced estimated glomerular filtration rate or elevated albuminuria increases risk for ischemic and hemorrhagic stroke. This study assessed the effects of sodium glucose cotransporter 2 inhibitors (SGLT2i) on stroke and atrial fibrillation/flutter (AF/AFL) from CREDENCE (Canagliflozin and Renal Events in Diabetes With Established Nephropathy Clinical Evaluation) and a meta-Analysis of large cardiovascular outcome trials (CVOTs) of SGLT2i in type 2 diabetes mellitus. METHODS: CREDENCE randomized 4401 participants with type 2 diabetes mellitus and chronic kidney disease to canagliflozin or placebo. Post hoc, we estimated effects on fatal or nonfatal stroke, stroke subtypes, and intermediate markers of stroke risk including AF/AFL. Stroke and AF/AFL data from 3 other completed large CVOTs and CREDENCE were pooled using random-effects meta-Analysis. RESULTS: In CREDENCE, 142 participants experienced a stroke during follow-up (10.9/1000 patient-years with canagliflozin, 14.2/1000 patient-years with placebo; hazard ratio [HR], 0.77 [95% CI, 0.55-1.08]). Effects by stroke subtypes were: ischemic (HR, 0.88 [95% CI, 0.61-1.28]; n=111), hemorrhagic (HR, 0.50 [95% CI, 0.19-1.32]; n=18), and undetermined (HR, 0.54 [95% CI, 0.20-1.46]; n=17). There was no clear effect on AF/AFL (HR, 0.76 [95% CI, 0.53-1.10]; n=115). The overall effects in the 4 CVOTs combined were: Total stroke (HRpooled, 0.96 [95% CI, 0.82-1.12]), ischemic stroke (HRpooled, 1.01 [95% CI, 0.89-1.14]), hemorrhagic stroke (HRpooled, 0.50 [95% CI, 0.30-0.83]), undetermined stroke (HRpooled, 0.86 [95% CI, 0.49-1.51]), and AF/AFL (HRpooled, 0.81 [95% CI, 0.71-0.93]). There was evidence that SGLT2i effects on total stroke varied by baseline estimated glomerular filtration rate (P=0.01), with protection in the lowest estimated glomerular filtration rate (45 mL/min/1.73 m2]) subgroup (HRpooled, 0.50 [95% CI, 0.31-0.79]). CONCLUSIONS: Although we found no clear effect of SGLT2i on total stroke in CREDENCE or across trials combined, there was some evidence of benefit in preventing hemorrhagic stroke and AF/AFL, as well as total stroke for those with lowest estimated glomerular filtration rate. Future research should focus on confirming these data and exploring potential mechanisms

Competition of Escherichia coli DNA Polymerases I, II and III with DNA Pol IV in Stressed Cells

Escherichia coli has five DNA polymerases, one of which, the low-fidelity Pol IV or DinB, is required for stress-induced mutagenesis in the well-studied Lac frameshift-reversion assay. Although normally present at ∼200 molecules per cell, Pol IV is recruited to acts of DNA double-strand-break repair, and causes mutagenesis, only when at least two cellular stress responses are activated: the SOS DNA-damage response, which upregulates DinB ∼10-fold, and the RpoS-controlled general-stress response, which upregulates Pol IV about 2-fold. DNA Pol III was also implicated but its role in mutagenesis was unclear. We sought in vivo evidence on the presence and interactions of multiple DNA polymerases during stress-induced mutagenesis. Using multiply mutant strains, we provide evidence of competition of DNA Pols I, II and III with Pol IV, implying that they are all present at sites of stress-induced mutagenesis. Previous data indicate that Pol V is also present. We show that the interactions of Pols I, II and III with Pol IV result neither from, first, induction of the SOS response when particular DNA polymerases are removed, nor second, from proofreading of DNA Pol IV errors by the editing functions of Pol I or Pol III. Third, we provide evidence that Pol III itself does not assist with but rather inhibits Pol IV-dependent mutagenesis. The data support the remaining hypothesis that during the acts of DNA double-strand-break (DSB) repair, shown previously to underlie stress-induced mutagenesis in the Lac system, there is competition of DNA polymerases I, II and III with DNA Pol IV for action at the primer terminus. Up-regulation of Pol IV, and possibly other stress-response-controlled factor(s), tilt the competition in favor of error-prone Pol IV at the expense of more accurate polymerases, thus producing stress-induced mutations. This mutagenesis assay reveals the DNA polymerases operating in DSB repair during stress and also provides a sensitive indicator for DNA polymerase competition and choice in vivo

Standardized endpoint definitions for transcatheter aortic valve implantation clinical trials: a consensus report from the Valve Academic Research Consortium†

To propose standardized consensus definitions for important clinical endpoints in transcatheter aortic valve implantation (TAVI), investigations in an effort to improve the quality of clinical research and to enable meaningful comparisons between clinical trials. To make these consensus definitions accessible to all stakeholders in TAVI clinical research through a peer reviewed publication, on behalf of the public health